Skip to content
This repository has been archived by the owner on Sep 26, 2023. It is now read-only.

chore: Remove unused repo settings. #1933

Merged
merged 2 commits into from
Dec 15, 2022
Merged

chore: Remove unused repo settings. #1933

merged 2 commits into from
Dec 15, 2022

Conversation

blakeli0
Copy link
Contributor

@blakeli0 blakeli0 commented Dec 9, 2022

We no longer support Java 7, LTS 1 and 2, hence removing repo settings related to them.

@blakeli0 blakeli0 requested review from a team as code owners December 9, 2022 22:24
@sonarcloud
Copy link

sonarcloud bot commented Dec 9, 2022

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

@blakeli0 blakeli0 added the automerge Merge the pull request once unit tests and other checks pass. label Dec 9, 2022
@gcf-merge-on-green
Copy link
Contributor

Merge-on-green attempted to merge your PR for 6 hours, but it was not mergeable because either one of your required status checks failed, one of your required reviews was not approved, or there is a do not merge label. Learn more about your required status checks here: https://help.github.com/en/github/administering-a-repository/enabling-required-status-checks. You can remove and reapply the label to re-run the bot.

@gcf-merge-on-green gcf-merge-on-green bot removed the automerge Merge the pull request once unit tests and other checks pass. label Dec 10, 2022
@blakeli0 blakeli0 merged commit a1d6270 into main Dec 15, 2022
@blakeli0 blakeli0 deleted the blakeli0-patch-1 branch December 15, 2022 22:02
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants